natural deduction
[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎 [网络] 自然演绎法；自然推理
n. 自然演绎 [网络] 自然演绎法；自然推理
热门查询
- translate vt. 翻译；转化；解释；转变为；调动 vi. 翻译
- lightheartedly adv. 自由自在地；无忧无虑地
- decedent n. 死者；已故者
- uncontrollably adv. 控制不住地
- liked v. 喜欢（like的过去式）
- Breton a. 布列塔尼(半岛)的 n. 布列塔尼(半岛)人
- driverless 无人驾驶的
- backstage adv. 在后台；向后台
- ointment n. 药膏；[药] 油膏
- anticlericalism n. anticlerical的变形
- cablegram n. 海底电报
- recapture vt. 夺回；拿回；再体验；政府征收再经历 n. 夺回；取回；政府对公司超额收益或利润的征收
- affectionate adj. 深情的； adj. 充满爱的；
- warmly adv. 热情地；温暖地；亲切地
- knockabout adj. 喧嚣的；乱打的；放荡性的 n. 单桅帆船；喧闹的争论
- bally n. (Bally)人名；(匈)鲍利；(西、法、英、德、罗、塞内、捷)巴利 adj. 非常；讨厌的 adv. 可厌地；非常地
- amazement n. 惊异；惊愕
- smilingly adv. 微笑地，含笑地
- rumbustious adj. 喧闹的，吵闹的
- subtest n. 分测验；子测验
